Kripke's Naming And Necessity: The Second Half Of The First Lecture, More Or Less